Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)
by Eugenio G. Omodeo,Alberto Policriti
ISBN 13: 9783319418414
Format: Hardcover (468 pages) Publisher: Springer Published: 09 Feb 2017
Save for later
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. T. Schwartz,Martin Davis,Domenico Cantone,Eugenio G. Omodeo
ISBN 13: 9781447160182
Format: Paperback (436 pages) Publisher: Springer Published: 06 Sep 2014
ISBN 13: 9783319824437
Format: Paperback (468 pages) Publisher: Springer Published: 03 May 2018
On Sets and Graphs: Perspectives on Logic and Combinatorics
by Eugenio G. Omodeo,Alberto Policriti,Alexandru I. Tomescu
ISBN 13: 9783319855363
Format: Paperback (296 pages) Publisher: Springer Published: 05 Jun 2019